Use "axiom|axioms" in a sentence

1. Axiom comes with an extension language called SPAD.

Язык расширений Axiom называется SPAD.